K_2[0,0] + W'_1[0,0] + X'_2[0,0]
K_2[0,1] + W'_1[0,1] + X'_2[0,1]
K_2[0,2] + W'_1[0,2] + X'_2[0,2]
K_2[0,3] + W'_1[0,3] + X'_2[0,3]
K_2[1,0] + W'_1[1,0] + X'_2[1,0]
K_2[1,1] + W'_1[1,1] + X'_2[1,1]
K_2[1,2] + W'_1[1,2] + X'_2[1,2]
K_2[1,3] + W'_1[1,3] + X'_2[1,3]
K_2[2,0] + W'_1[2,0] + X'_2[2,0]
K_2[2,1] + W'_1[2,1] + X'_2[2,1]
K_2[2,2] + W'_1[2,2] + X'_2[2,2]
K_2[2,3] + W'_1[2,3] + X'_2[2,3]
K_2[3,0] + W'_1[3,0] + X'_2[3,0]
K_2[3,1] + W'_1[3,1] + X'_2[3,1]
K_2[3,2] + W'_1[3,2] + X'_2[3,2]
K_2[3,3] + W'_1[3,3] + X'_2[3,3]
W'_1[0,0] + 02*S(X'_1[0,0]) + 03*S(X'_1[1,1]) + S(X'_1[2,2]) + S(X'_1[3,3])
W'_1[0,1] + 02*S(X'_1[0,1]) + 03*S(X'_1[1,2]) + S(X'_1[2,3]) + S(X'_1[3,0])
W'_1[0,2] + 02*S(X'_1[0,2]) + 03*S(X'_1[1,3]) + S(X'_1[2,0]) + S(X'_1[3,1])
W'_1[0,3] + 02*S(X'_1[0,3]) + 03*S(X'_1[1,0]) + S(X'_1[2,1]) + S(X'_1[3,2])
W'_1[1,0] + S(X'_1[0,0]) + 02*S(X'_1[1,1]) + 03*S(X'_1[2,2]) + S(X'_1[3,3])
W'_1[1,1] + S(X'_1[0,1]) + 02*S(X'_1[1,2]) + 03*S(X'_1[2,3]) + S(X'_1[3,0])
W'_1[1,2] + S(X'_1[0,2]) + 02*S(X'_1[1,3]) + 03*S(X'_1[2,0]) + S(X'_1[3,1])
W'_1[1,3] + S(X'_1[0,3]) + 02*S(X'_1[1,0]) + 03*S(X'_1[2,1]) + S(X'_1[3,2])
W'_1[2,0] + S(X'_1[0,0]) + S(X'_1[1,1]) + 02*S(X'_1[2,2]) + 03*S(X'_1[3,3])
W'_1[2,1] + S(X'_1[0,1]) + S(X'_1[1,2]) + 02*S(X'_1[2,3]) + 03*S(X'_1[3,0])
W'_1[2,2] + S(X'_1[0,2]) + S(X'_1[1,3]) + 02*S(X'_1[2,0]) + 03*S(X'_1[3,1])
W'_1[2,3] + S(X'_1[0,3]) + S(X'_1[1,0]) + 02*S(X'_1[2,1]) + 03*S(X'_1[3,2])
W'_1[3,0] + 03*S(X'_1[0,0]) + S(X'_1[1,1]) + S(X'_1[2,2]) + 02*S(X'_1[3,3])
W'_1[3,1] + 03*S(X'_1[0,1]) + S(X'_1[1,2]) + S(X'_1[2,3]) + 02*S(X'_1[3,0])
W'_1[3,2] + 03*S(X'_1[0,2]) + S(X'_1[1,3]) + S(X'_1[2,0]) + 02*S(X'_1[3,1])
W'_1[3,3] + 03*S(X'_1[0,3]) + S(X'_1[1,0]) + S(X'_1[2,1]) + 02*S(X'_1[3,2])
K_1[0,0] + W'_0[0,0] + X'_1[0,0]
K_1[0,1] + W'_0[0,1] + X'_1[0,1]
K_1[0,2] + W'_0[0,2] + X'_1[0,2]
K_1[0,3] + W'_0[0,3] + X'_1[0,3]
K_1[1,0] + W'_0[1,0] + X'_1[1,0]
K_1[1,1] + W'_0[1,1] + X'_1[1,1]
K_1[1,2] + W'_0[1,2] + X'_1[1,2]
K_1[1,3] + W'_0[1,3] + X'_1[1,3]
K_1[2,0] + W'_0[2,0] + X'_1[2,0]
K_1[2,1] + W'_0[2,1] + X'_1[2,1]
K_1[2,2] + W'_0[2,2] + X'_1[2,2]
K_1[2,3] + W'_0[2,3] + X'_1[2,3]
K_1[3,0] + W'_0[3,0] + X'_1[3,0]
K_1[3,1] + W'_0[3,1] + X'_1[3,1]
K_1[3,2] + W'_0[3,2] + X'_1[3,2]
K_1[3,3] + W'_0[3,3] + X'_1[3,3]
W'_0[0,0] + 02*S(X'_0[0,0]) + 03*S(X'_0[1,1]) + S(X'_0[2,2]) + S(X'_0[3,3])
W'_0[0,1] + 02*S(X'_0[0,1]) + 03*S(X'_0[1,2]) + S(X'_0[2,3]) + S(X'_0[3,0])
W'_0[0,2] + 02*S(X'_0[0,2]) + 03*S(X'_0[1,3]) + S(X'_0[2,0]) + S(X'_0[3,1])
W'_0[0,3] + 02*S(X'_0[0,3]) + 03*S(X'_0[1,0]) + S(X'_0[2,1]) + S(X'_0[3,2])
W'_0[1,0] + S(X'_0[0,0]) + 02*S(X'_0[1,1]) + 03*S(X'_0[2,2]) + S(X'_0[3,3])
W'_0[1,1] + S(X'_0[0,1]) + 02*S(X'_0[1,2]) + 03*S(X'_0[2,3]) + S(X'_0[3,0])
W'_0[1,2] + S(X'_0[0,2]) + 02*S(X'_0[1,3]) + 03*S(X'_0[2,0]) + S(X'_0[3,1])
W'_0[1,3] + S(X'_0[0,3]) + 02*S(X'_0[1,0]) + 03*S(X'_0[2,1]) + S(X'_0[3,2])
W'_0[2,0] + S(X'_0[0,0]) + S(X'_0[1,1]) + 02*S(X'_0[2,2]) + 03*S(X'_0[3,3])
W'_0[2,1] + S(X'_0[0,1]) + S(X'_0[1,2]) + 02*S(X'_0[2,3]) + 03*S(X'_0[3,0])
W'_0[2,2] + S(X'_0[0,2]) + S(X'_0[1,3]) + 02*S(X'_0[2,0]) + 03*S(X'_0[3,1])
W'_0[2,3] + S(X'_0[0,3]) + S(X'_0[1,0]) + 02*S(X'_0[2,1]) + 03*S(X'_0[3,2])
W'_0[3,0] + 03*S(X'_0[0,0]) + S(X'_0[1,1]) + S(X'_0[2,2]) + 02*S(X'_0[3,3])
W'_0[3,1] + 03*S(X'_0[0,1]) + S(X'_0[1,2]) + S(X'_0[2,3]) + 02*S(X'_0[3,0])
W'_0[3,2] + 03*S(X'_0[0,2]) + S(X'_0[1,3]) + S(X'_0[2,0]) + 02*S(X'_0[3,1])
W'_0[3,3] + 03*S(X'_0[0,3]) + S(X'_0[1,0]) + S(X'_0[2,1]) + 02*S(X'_0[3,2])
K_0[0,0] + P'[0,0] + X'_0[0,0]
K_0[0,1] + P'[0,1] + X'_0[0,1]
K_0[0,2] + P'[0,2] + X'_0[0,2]
K_0[0,3] + P'[0,3] + X'_0[0,3]
K_0[1,0] + P'[1,0] + X'_0[1,0]
K_0[1,1] + P'[1,1] + X'_0[1,1]
K_0[1,2] + P'[1,2] + X'_0[1,2]
K_0[1,3] + P'[1,3] + X'_0[1,3]
K_0[2,0] + P'[2,0] + X'_0[2,0]
K_0[2,1] + P'[2,1] + X'_0[2,1]
K_0[2,2] + P'[2,2] + X'_0[2,2]
K_0[2,3] + P'[2,3] + X'_0[2,3]
K_0[3,0] + P'[3,0] + X'_0[3,0]
K_0[3,1] + P'[3,1] + X'_0[3,1]
K_0[3,2] + P'[3,2] + X'_0[3,2]
K_0[3,3] + P'[3,3] + X'_0[3,3]
W_1[0,0] + K_2[0,0] + X_2[0,0]
W_1[0,1] + K_2[0,1] + X_2[0,1]
W_1[0,2] + K_2[0,2] + X_2[0,2]
W_1[0,3] + K_2[0,3] + X_2[0,3]
W_1[1,0] + K_2[1,0] + X_2[1,0]
W_1[1,1] + K_2[1,1] + X_2[1,1]
W_1[1,2] + K_2[1,2] + X_2[1,2]
W_1[1,3] + K_2[1,3] + X_2[1,3]
W_1[2,0] + K_2[2,0] + X_2[2,0]
W_1[2,1] + K_2[2,1] + X_2[2,1]
W_1[2,2] + K_2[2,2] + X_2[2,2]
W_1[2,3] + K_2[2,3] + X_2[2,3]
W_1[3,0] + K_2[3,0] + X_2[3,0]
W_1[3,1] + K_2[3,1] + X_2[3,1]
W_1[3,2] + K_2[3,2] + X_2[3,2]
W_1[3,3] + K_2[3,3] + X_2[3,3]
W_1[0,0] + 02*S(X_1[0,0]) + 03*S(X_1[1,1]) + S(X_1[2,2]) + S(X_1[3,3])
W_1[0,1] + 02*S(X_1[0,1]) + 03*S(X_1[1,2]) + S(X_1[2,3]) + S(X_1[3,0])
W_1[0,2] + 02*S(X_1[0,2]) + 03*S(X_1[1,3]) + S(X_1[2,0]) + S(X_1[3,1])
W_1[0,3] + 02*S(X_1[0,3]) + 03*S(X_1[1,0]) + S(X_1[2,1]) + S(X_1[3,2])
W_1[1,0] + S(X_1[0,0]) + 02*S(X_1[1,1]) + 03*S(X_1[2,2]) + S(X_1[3,3])
W_1[1,1] + S(X_1[0,1]) + 02*S(X_1[1,2]) + 03*S(X_1[2,3]) + S(X_1[3,0])
W_1[1,2] + S(X_1[0,2]) + 02*S(X_1[1,3]) + 03*S(X_1[2,0]) + S(X_1[3,1])
W_1[1,3] + S(X_1[0,3]) + 02*S(X_1[1,0]) + 03*S(X_1[2,1]) + S(X_1[3,2])
W_1[2,0] + S(X_1[0,0]) + S(X_1[1,1]) + 02*S(X_1[2,2]) + 03*S(X_1[3,3])
W_1[2,1] + S(X_1[0,1]) + S(X_1[1,2]) + 02*S(X_1[2,3]) + 03*S(X_1[3,0])
W_1[2,2] + S(X_1[0,2]) + S(X_1[1,3]) + 02*S(X_1[2,0]) + 03*S(X_1[3,1])
W_1[2,3] + S(X_1[0,3]) + S(X_1[1,0]) + 02*S(X_1[2,1]) + 03*S(X_1[3,2])
W_1[3,0] + 03*S(X_1[0,0]) + S(X_1[1,1]) + S(X_1[2,2]) + 02*S(X_1[3,3])
W_1[3,1] + 03*S(X_1[0,1]) + S(X_1[1,2]) + S(X_1[2,3]) + 02*S(X_1[3,0])
W_1[3,2] + 03*S(X_1[0,2]) + S(X_1[1,3]) + S(X_1[2,0]) + 02*S(X_1[3,1])
W_1[3,3] + 03*S(X_1[0,3]) + S(X_1[1,0]) + S(X_1[2,1]) + 02*S(X_1[3,2])
W_0[0,0] + K_1[0,0] + X_1[0,0]
W_0[0,1] + K_1[0,1] + X_1[0,1]
W_0[0,2] + K_1[0,2] + X_1[0,2]
W_0[0,3] + K_1[0,3] + X_1[0,3]
W_0[1,0] + K_1[1,0] + X_1[1,0]
W_0[1,1] + K_1[1,1] + X_1[1,1]
W_0[1,2] + K_1[1,2] + X_1[1,2]
W_0[1,3] + K_1[1,3] + X_1[1,3]
W_0[2,0] + K_1[2,0] + X_1[2,0]
W_0[2,1] + K_1[2,1] + X_1[2,1]
W_0[2,2] + K_1[2,2] + X_1[2,2]
W_0[2,3] + K_1[2,3] + X_1[2,3]
W_0[3,0] + K_1[3,0] + X_1[3,0]
W_0[3,1] + K_1[3,1] + X_1[3,1]
W_0[3,2] + K_1[3,2] + X_1[3,2]
W_0[3,3] + K_1[3,3] + X_1[3,3]
W_0[0,0] + 02*S(X_0[0,0]) + 03*S(X_0[1,1]) + S(X_0[2,2]) + S(X_0[3,3])
W_0[0,1] + 02*S(X_0[0,1]) + 03*S(X_0[1,2]) + S(X_0[2,3]) + S(X_0[3,0])
W_0[0,2] + 02*S(X_0[0,2]) + 03*S(X_0[1,3]) + S(X_0[2,0]) + S(X_0[3,1])
W_0[0,3] + 02*S(X_0[0,3]) + 03*S(X_0[1,0]) + S(X_0[2,1]) + S(X_0[3,2])
W_0[1,0] + S(X_0[0,0]) + 02*S(X_0[1,1]) + 03*S(X_0[2,2]) + S(X_0[3,3])
W_0[1,1] + S(X_0[0,1]) + 02*S(X_0[1,2]) + 03*S(X_0[2,3]) + S(X_0[3,0])
W_0[1,2] + S(X_0[0,2]) + 02*S(X_0[1,3]) + 03*S(X_0[2,0]) + S(X_0[3,1])
W_0[1,3] + S(X_0[0,3]) + 02*S(X_0[1,0]) + 03*S(X_0[2,1]) + S(X_0[3,2])
W_0[2,0] + S(X_0[0,0]) + S(X_0[1,1]) + 02*S(X_0[2,2]) + 03*S(X_0[3,3])
W_0[2,1] + S(X_0[0,1]) + S(X_0[1,2]) + 02*S(X_0[2,3]) + 03*S(X_0[3,0])
W_0[2,2] + S(X_0[0,2]) + S(X_0[1,3]) + 02*S(X_0[2,0]) + 03*S(X_0[3,1])
W_0[2,3] + S(X_0[0,3]) + S(X_0[1,0]) + 02*S(X_0[2,1]) + 03*S(X_0[3,2])
W_0[3,0] + 03*S(X_0[0,0]) + S(X_0[1,1]) + S(X_0[2,2]) + 02*S(X_0[3,3])
W_0[3,1] + 03*S(X_0[0,1]) + S(X_0[1,2]) + S(X_0[2,3]) + 02*S(X_0[3,0])
W_0[3,2] + 03*S(X_0[0,2]) + S(X_0[1,3]) + S(X_0[2,0]) + 02*S(X_0[3,1])
W_0[3,3] + 03*S(X_0[0,3]) + S(X_0[1,0]) + S(X_0[2,1]) + 02*S(X_0[3,2])
P[0,0] + K_0[0,0] + X_0[0,0]
P[0,1] + K_0[0,1] + X_0[0,1]
P[0,2] + K_0[0,2] + X_0[0,2]
P[0,3] + K_0[0,3] + X_0[0,3]
P[1,0] + K_0[1,0] + X_0[1,0]
P[1,1] + K_0[1,1] + X_0[1,1]
P[1,2] + K_0[1,2] + X_0[1,2]
P[1,3] + K_0[1,3] + X_0[1,3]
P[2,0] + K_0[2,0] + X_0[2,0]
P[2,1] + K_0[2,1] + X_0[2,1]
P[2,2] + K_0[2,2] + X_0[2,2]
P[2,3] + K_0[2,3] + X_0[2,3]
P[3,0] + K_0[3,0] + X_0[3,0]
P[3,1] + K_0[3,1] + X_0[3,1]
P[3,2] + K_0[3,2] + X_0[3,2]
P[3,3] + K_0[3,3] + X_0[3,3]
K_1[3,3] + K_2[3,2] + K_2[3,3]
K_1[2,3] + K_2[2,2] + K_2[2,3]
K_1[1,3] + K_2[1,2] + K_2[1,3]
K_1[0,3] + K_2[0,2] + K_2[0,3]
K_1[3,2] + K_2[3,1] + K_2[3,2]
K_1[2,2] + K_2[2,1] + K_2[2,2]
K_1[1,2] + K_2[1,1] + K_2[1,2]
K_1[0,2] + K_2[0,1] + K_2[0,2]
K_1[3,1] + K_2[3,0] + K_2[3,1]
K_1[2,1] + K_2[2,0] + K_2[2,1]
K_1[1,1] + K_2[1,0] + K_2[1,1]
K_1[0,1] + K_2[0,0] + K_2[0,1]
S(K_1[0,3]) + K_1[3,0] + K_2[3,0]
K_1[2,0] + S(K_1[3,3]) + K_2[2,0]
K_1[1,0] + S(K_1[2,3]) + K_2[1,0]
02 + K_1[0,0] + S(K_1[1,3]) + K_2[0,0]
K_0[3,3] + K_1[3,2] + K_1[3,3]
K_0[2,3] + K_1[2,2] + K_1[2,3]
K_0[1,3] + K_1[1,2] + K_1[1,3]
K_0[0,3] + K_1[0,2] + K_1[0,3]
K_0[3,2] + K_1[3,1] + K_1[3,2]
K_0[2,2] + K_1[2,1] + K_1[2,2]
K_0[1,2] + K_1[1,1] + K_1[1,2]
K_0[0,2] + K_1[0,1] + K_1[0,2]
K_0[3,1] + K_1[3,0] + K_1[3,1]
K_0[2,1] + K_1[2,0] + K_1[2,1]
K_0[1,1] + K_1[1,0] + K_1[1,1]
K_0[0,1] + K_1[0,0] + K_1[0,1]
S(K_0[0,3]) + K_0[3,0] + K_1[3,0]
K_0[2,0] + S(K_0[3,3]) + K_1[2,0]
K_0[1,0] + S(K_0[2,3]) + K_1[1,0]
01 + K_0[0,0] + S(K_0[1,3]) + K_1[0,0]

=======================================================
#known variables


P'[0,0] P'[0,1] P'[0,2] P'[0,3] 
P'[1,0] P'[1,1] P'[1,2] P'[1,3] 
P'[2,0] P'[2,1] P'[2,2] P'[2,3] 
P'[3,0] P'[3,1] P'[3,2] P'[3,3] 

X'_2[0,0] X'_2[0,1] X'_2[0,2] X'_2[0,3] 
X'_2[1,0] X'_2[1,1] X'_2[1,2] X'_2[1,3] 
X'_2[2,0] X'_2[2,1] X'_2[2,2] X'_2[2,3] 
X'_2[3,0] X'_2[3,1] X'_2[3,2] X'_2[3,3] 

P[0,0] P[0,1] P[0,2] P[0,3] 
P[1,0] P[1,1] P[1,2] P[1,3] 
P[2,0] P[2,1] P[2,2] P[2,3] 
P[3,0] P[3,1] P[3,2] P[3,3] 

X_2[0,0] X_2[0,1] X_2[0,2] X_2[0,3] 
X_2[1,0] X_2[1,1] X_2[1,2] X_2[1,3] 
X_2[2,0] X_2[2,1] X_2[2,2] X_2[2,3] 
X_2[3,0] X_2[3,1] X_2[3,2] X_2[3,3] 

===================================================
# variables of the first message


K_0[3,3] K_0[2,3] K_0[1,3] K_0[0,3]
K_0[3,2] K_0[2,2] K_0[1,2] K_0[0,2]
K_0[3,1] K_0[2,1] K_0[1,1] K_0[0,1]
K_0[0,3] K_0[2,0] K_0[1,0] K_0[0,0]

K_1[3,3] K_1[2,3] K_1[1,3] K_1[0,3]
K_1[3,2] K_1[2,2] K_1[1,2] K_1[0,2]
K_1[3,1] K_1[2,1] K_1[1,1] K_1[0,1]
K_1[0,3] K_1[2,0] K_1[1,0] K_1[0,0]

K_2[3,3] K_2[2,3] K_2[1,3] K_2[0,3]
K_2[3,2] K_2[2,2] K_2[1,2] K_2[0,2]
K_2[3,1] K_2[2,1] K_2[1,1] K_2[0,1]
K_2[0,3] K_2[2,0] K_2[1,0] K_2[0,0]


P[0,0] P[0,1] P[0,2] P[0,3] 
P[1,0] P[1,1] P[1,2] P[1,3] 
P[2,0] P[2,1] P[2,2] P[2,3] 
P[3,0] P[3,1] P[3,2] P[3,3] 

X_0[0,0] X_0[0,1] X_0[0,2] X_0[0,3] 
X_0[1,0] X_0[1,1] X_0[1,2] X_0[1,3] 
X_0[2,0] X_0[2,1] X_0[2,2] X_0[2,3] 
X_0[3,0] X_0[3,1] X_0[3,2] X_0[3,3]

W_0[0,0] W_0[0,1] W_0[0,2] W_0[0,3] 
W_0[1,0] W_0[1,1] W_0[1,2] W_0[1,3] 
W_0[2,0] W_0[2,1] W_0[2,2] W_0[2,3] 
W_0[3,0] W_0[3,1] W_0[3,2] W_0[3,3]

X_1[0,0] X_1[0,1] X_1[0,2] X_1[0,3] 
X_1[1,0] X_1[1,1] X_1[1,2] X_1[1,3] 
X_1[2,0] X_1[2,1] X_1[2,2] X_1[2,3] 
X_1[3,0] X_1[3,1] X_1[3,2] X_1[3,3]

W_1[0,0] W_1[0,1] W_1[0,2] W_1[0,3] 
W_1[1,0] W_1[1,1] W_1[1,2] W_1[1,3] 
W_1[2,0] W_1[2,1] W_1[2,2] W_1[2,3] 
W_1[3,0] W_1[3,1] W_1[3,2] W_1[3,3]

X_2[0,0] X_2[0,1] X_2[0,2] X_2[0,3] 
X_2[1,0] X_2[1,1] X_2[1,2] X_2[1,3] 
X_2[2,0] X_2[2,1] X_2[2,2] X_2[2,3] 
X_2[3,0] X_2[3,1] X_2[3,2] X_2[3,3]

-----------------------------------------------
#variables of the second message


K_0[3,3] K_0[2,3] K_0[1,3] K_0[0,3]
K_0[3,2] K_0[2,2] K_0[1,2] K_0[0,2]
K_0[3,1] K_0[2,1] K_0[1,1] K_0[0,1]
K_0[0,3] K_0[2,0] K_0[1,0] K_0[0,0]

K_1[3,3] K_1[2,3] K_1[1,3] K_1[0,3]
K_1[3,2] K_1[2,2] K_1[1,2] K_1[0,2]
K_1[3,1] K_1[2,1] K_1[1,1] K_1[0,1]
K_1[0,3] K_1[2,0] K_1[1,0] K_1[0,0]

K_2[3,3] K_2[2,3] K_2[1,3] K_2[0,3]
K_2[3,2] K_2[2,2] K_2[1,2] K_2[0,2]
K_2[3,1] K_2[2,1] K_2[1,1] K_2[0,1]
K_2[0,3] K_2[2,0] K_2[1,0] K_2[0,0]


P'[0,0] P'[0,1] P'[0,2] P'[0,3] 
P'[1,0] P'[1,1] P'[1,2] P'[1,3] 
P'[2,0] P'[2,1] P'[2,2] P'[2,3] 
P'[3,0] P'[3,1] P'[3,2] P'[3,3] 

X'_0[0,0] X'_0[0,1] X'_0[0,2] X'_0[0,3] 
X'_0[1,0] X'_0[1,1] X'_0[1,2] X'_0[1,3] 
X'_0[2,0] X'_0[2,1] X'_0[2,2] X'_0[2,3] 
X'_0[3,0] X'_0[3,1] X'_0[3,2] X'_0[3,3]

W'_0[0,0] W'_0[0,1] W'_0[0,2] W'_0[0,3] 
W'_0[1,0] W'_0[1,1] W'_0[1,2] W'_0[1,3] 
W'_0[2,0] W'_0[2,1] W'_0[2,2] W'_0[2,3] 
W'_0[3,0] W'_0[3,1] W'_0[3,2] W'_0[3,3]

X'_1[0,0] X'_1[0,1] X'_1[0,2] X'_1[0,3] 
X'_1[1,0] X'_1[1,1] X'_1[1,2] X'_1[1,3] 
X'_1[2,0] X'_1[2,1] X'_1[2,2] X'_1[2,3] 
X'_1[3,0] X'_1[3,1] X'_1[3,2] X'_1[3,3]

W'_1[0,0] W'_1[0,1] W'_1[0,2] W'_1[0,3] 
W'_1[1,0] W'_1[1,1] W'_1[1,2] W'_1[1,3] 
W'_1[2,0] W'_1[2,1] W'_1[2,2] W'_1[2,3] 
W'_1[3,0] W'_1[3,1] W'_1[3,2] W'_1[3,3]

X'_2[0,0] X'_2[0,1] X'_2[0,2] X'_2[0,3] 
X'_2[1,0] X'_2[1,1] X'_2[1,2] X'_2[1,3] 
X'_2[2,0] X'_2[2,1] X'_2[2,2] X'_2[2,3] 
X'_2[3,0] X'_2[3,1] X'_2[3,2] X'_2[3,3]


